type get_float_3 =
  | GL_CURRENT_NORMAL
  | GL_POINT_DISTANCE_ATTENUATION
